Information and Computer Science

Results: 6880



#Item
71

Trace-Based Run-Time Analysis of Message-Passing Go Programs Martin Sulzmann and Kai Stadtm¨ uller Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

Add to Reading List

Source URL: www.home.hs-karlsruhe.de

- Date: 2017-09-25 07:27:31
    72

    Last updated: 18th Mar, 2018 Chih-Jen Lin • PERSONAL DATA 1. Address: Department of Computer Science and Information Engineering, National Taiwan University, Taipei 106, Taiwan

    Add to Reading List

    Source URL: www.csie.ntu.edu.tw

    - Date: 2018-03-18 08:06:42
      73

      From Events to Futures and Promises and back Martin Sulzmann Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences Moltkestrasse 30, 76133 Karlsruhe, Germany martin.sulzman

      Add to Reading List

      Source URL: www.home.hs-karlsruhe.de

      - Date: 2016-02-22 15:00:20
        74

        Derivatives for Regular Shuffle Expressions Martin Sulzmann1 and Peter Thiemann2 1 Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

        Add to Reading List

        Source URL: www.home.hs-karlsruhe.de

        - Date: 2014-11-25 02:39:34
          75

          DIFT - Dependent Information Flow Types Typechecker Prototype Draft Release Notes (v1.10) Luisa Lourenço Luis Caires CITI and NOVA Laboratory for Computer Science and Informatics

          Add to Reading List

          Source URL: ctp.di.fct.unl.pt

          - Date: 2015-01-26 04:11:09
            76

            FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania

            Add to Reading List

            Source URL: marenas.sitios.ing.uc.cl

            - Date: 2013-04-26 05:57:03
              77

              Forkable Regular Expressions Martin Sulzmann1 and Peter Thiemann2 1 Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

              Add to Reading List

              Source URL: www.home.hs-karlsruhe.de

              - Date: 2016-03-15 07:37:46
                78

                An Optimal Bound for High-quality Conforming Triangulations1 Tiow-Seng Tan Department of Information Systems and Computer Science National University of Singapore

                Add to Reading List

                Source URL: www.comp.nus.edu.sg

                - Date: 2003-07-20 23:05:10
                  79

                  A Computational Interpretation of Context-Free Expressions Martin Sulzmann1 and Peter Thiemann2 1 Faculty of Computer Science and Business Information Systems

                  Add to Reading List

                  Source URL: www.home.hs-karlsruhe.de

                  - Date: 2017-09-25 07:37:16
                    UPDATE